A package to program state machines. See
this section
in SwingStates tutorial.